401. The nature of mathematics : a critical survey
Author: Black, Max
Library: Central Library and Documentation Center (Kerman)
Subject: ، Mathematics - Philosophy,، Logic, Symbolic and mathematical
Classification :
QA
9
.
B62
402. The nature of mathematics : a critical survey
Author: Black, Max
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Whitehead, Alfred North, 1681-7491. Principia mathematica,، Mathematics -- Philosophy,، Logic, Symbolic and mathematical
Classification :
QA
9
.
B62
1959
403. The nature of mathematics : a critical survey
Author: Black, Max
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical,، Whitehead, Alfred North, 1681-7491. Principia mathematica
Classification :
QA
9
.
B54
404. The origin of the logic of symbolic mathematics
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Logic, Symbolic and mathematical. ; Mathematics ; Philosophy. ;
405. The origin of the logic of symbolic mathematics :
Author: Burt C. Hopkins
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical,Mathematics-- Philosophy
Classification :
QA9
.
H66
2011
406. The origin of the logic of symbolic mathematics
Author: / Burt C. Hopkins
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Logic, Symbolic and mathematical.,Mathematics--Philosophy
Classification :
QA9
,.
H66
,
2011
407. The road to universal logic :
Author: Arnold Koslow, Arthur Buchsbaum, editors
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical,History of Mathematical Sciences,Logic,Mathematical Logic and Foundations,Mathematics
Classification :
QA9
408. The road to universal logic Festschrift for the 50th birthday of Jean-Yves Béziau.
Author: Arnold Koslow, Arthur Buchsbaum, editors
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic,Logic, Symbolic and mathematical,Mathematics
Classification :
QA9
.
R63
409. The search for certainty : a philosophical account of foundations of mathematics
Author: Giaquinto, Marcus
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical
Classification :
QA
8
.
4
.
G52S4
410. The theory of probability, an inquiry into the logical and mathematical foundations of the calculus of probability
Author: Reichenbach, Hans
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Mathematics -- Philosophy,، Probabilities,، Logic, Symbolic and mathematical
Classification :
QA
9
.
R412
1949
411. The theory of probability, an inquiry into the logical and mathematical foundations of the calculus of probability
Author: Reichenbach, Hans
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Mathematics-- Philosophy,، Probabilities,، Logic, Symbolic and mathematical
Classification :
QA
9
.
R412
1971
412. The theory of probability, an inquiry into the logical and mathematical foundations of the calculus of probability
Author: Reichenbach, Hans
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: philosophy ، Mathematics,، Probabilities,، Logic, Symbolic and mathematical
Classification :
QA
9
.
R413
413. Theorems of the 21st century.
Author: Bogdan Grechuk.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Induction (Mathematics),Logic, Symbolic and mathematical.,Mathematics.,Induction (Mathematics),Logic, Symbolic and mathematical.,MATHEMATICS-- Essays.,MATHEMATICS-- Pre-Calculus.,MATHEMATICS-- Reference.,Mathematics.
Classification :
QA37
.
3
414. Theory of Finite and Infinite Graphs
Author: by Dénes König.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Combinatorics.,Logic, Symbolic and mathematical.,Mathematics.
415. Theory of formal systems /
Author: R.M. Smullyan.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Mathematics.,Recursive functions.,Logic, Symbolic and mathematical.,Mathematics.,Recursive functions.,SCIENCE-- System Theory.
Classification :
QA248
.
5
416. Thirty years of foundational studies; lectures on the development of mathematical logic and the study of the foundations of mathematics in 1930-1964
Author: Mostowski, Andrzej
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Mathematics-- Philosophy
Classification :
B
28
.
F5
.
A3
Fasc
.
17
417. Title in the Rossian
Author: Heyting
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Logic, Symbolic and mathematical,Mathematics-- Methodology
Classification :
QA
9
.
H417
418. Toposes, Algebraic geometry and logic
Author: ]by[ I.Bucur ]and others[ edited by F.W.Lawvere
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Congresses ، Categories )Mathematics(,Congresses ، Nosa Detected Damaged Record #4254,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
3
.
L28
no
.
274
419. Toposes, algebraic geometry and logic
Author: ]by[ I. Bucur... ]et al.[ ; Edited by F. W. Lawvere
Library: Library of College of Science University of Tehran (Tehran)
Subject: Congresses ، Categories )Mathematics(,Congresses ، Geometry, Algebraic,Congresses ، Logic, Symbolic and mathematical,، Toposes
Classification :
QA
169
.
T6
1972
420. Toposes, algebraic geometry and logic : Dalhousie University, Halifax, January 16-19, 1971
Author: I. Bucur ... ]et al.[; edited by F. W. Lawvere
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Categories )Mathematics(,Congresses ، Geometry, Algebraic,Congresses ، Logic, Symbolic and mathematical,Congresses ، Toposes
Classification :
QA
3
.
L28
Vol
.
274
